Second Lecture On Godel's Incompleteness Theorem